formal languages

[网络] 形式语言;正规语言;代数观点与语言